Programming tool - PDFSEARCH.IO - Document Search Engine

Programming tool
Results: 791

#	Item
561	Clause Trees: a Tool for Understanding and Implementing Resolution in Automated Reasoning J. D. Horton and Bruce Spencer University of New Brunswick, Fredericton, New Brunswick, Canada E3B 5A3 email : [removed] and bspe Add to Reading List Source URL: www.cs.unb.ca Language: English - Date: 2004-08-23 10:57:49 Logic programming Automated theorem proving Rules of inference Clause Predicate logic Propositional calculus Resolution Tree SLD resolution Mathematical logic Logic Mathematics
562	ROSE Tutorial: A Tool for Building Source-to-Source Translators Draft Tutorial (version 0.9.5a) Daniel Quinlan, Markus Schordan, Richard Vuduc, Qing Yi Add to Reading List Source URL: rosecompiler.org Language: English - Date: 2013-07-08 17:50:20 Programming language implementation Compiler construction Procedural programming languages Tree traversal Preprocessor Sequence container Control flow graph C Directive Computing Software engineering Software
563	Overview Adobe Shared Review is a pdf tool used to collaborate on a document. This guidance discusses using the Adobe Shared Review tool for the PS&E review process. These instructions could also be adapted for other ty Add to Reading List Source URL: www.dot.nd.gov Language: English - Date: 2014-08-06 09:12:53 Adobe Systems Digital press Vector graphics Portable Document Format Comment Workflow C Sharp Computing Computer programming ISO standards
564	MSTE’s PROTOTYPE FOR A CLASSROOM OBSERVATION TOOL A brown bag seminar sponsored by the Bureau of Educational Research and the Office for Mathematics, Science, and Technology Education (MSTE) Add to Reading List Source URL: education.illinois.edu Language: English - Date: 2013-11-18 16:32:53 Computing Knowledge Educational psychology Educational technology Visual programming languages Education Etoys
565	MSTE’s PROTOTYPE FOR A CLASSROOM OBSERVATION TOOL A brown bag seminar sponsored by the Bureau of Educational Research and the Office for Mathematics, Science, and Technology Education (MSTE) Add to Reading List Source URL: education.illinois.edu Language: English - Date: 2013-11-18 16:32:53 Computing Knowledge Educational psychology Educational technology Visual programming languages Education Etoys
566	WHAT DEVELOPERS WANT: AN END TO APP SERVER RESTARTS True S tor y All rights reserved. 2014 © ZeroTurnaround OÜ Add to Reading List Source URL: files.zeroturnaround.com Language: English - Date: 2014-08-05 06:11:48 Cross-platform software Java enterprise platform ZeroTurnaround Computing platforms JRebel Programming tool Application server Java X Window System Computing Software Java platform
567	Microsoft Word - NAVSEA-Tools-Paper[removed]doc Add to Reading List Source URL: samate.nist.gov Language: English - Date: 2013-05-07 16:54:57 Software testing Program analysis Fault injection Veracode Application security Code review Programming tool Compiler Static program analysis Software Computing Software review
568	Resource Typing Library Tool Q: What is RTLT? A: The Resource Typing Library Tool (RTLT) is an online catalogue of national resource typing definitions and job titles/position qualifications. The Federal Emergency Manage Add to Reading List Source URL: www.dmaps.wv.gov Language: English - Date: 2014-04-28 13:00:43 Federal Emergency Management Agency United States Department of Homeland Security Application programming interface Resource fork National Incident Management System Emergency management Public safety Management
569	Institutional Repository Toolkit - Resources HOW TO INSTALL DSPACE 1.7 ON UBUNTU[removed]SERVER Install Prerequisites Install the server stack of Tomcat (web server) and PostgreSQL (database) sudo apt-get install tasksel s Add to Reading List Source URL: www.ir-africa.info Language: English - Date: 2011-07-18 11:05:07 Java platform Java programming language DSpace Java OpenJDK Ubuntu Apache Tomcat LAMP Advanced Packaging Tool Software Computing Cross-platform software
570	LANSING COMMUNITY COLLEGE CURRICULUM GUIDE Computer Programmer/Analyst Associate in Business Degree Curriculum Code: 0113 (Effective Fall[removed]Summer[removed]Programmer/analysts plan, develop, test, and document computer Add to Reading List Source URL: www.lcc.edu Language: English - Date: 2014-05-01 08:23:58 Education in Hyderabad India Education Computer programming Bachelor of Science in Information Technology Software testing Computer Programmer Certified Information Technology Professional Education in Andhra Pradesh States and territories of India Central Institute of Tool Design

UPDATE